101. Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>
پدیدآورنده : / Gabriele Puppis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Computer logic,Branching processes,Space and time,Machine theory
رده :
006
.
3
P984A
2010
102. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
103. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
104. Automata, logics, and infinite games
پدیدآورنده : / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
رده :
QA
,
76
.
9
,.
M35
,
A85
,
2002
105. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
106. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
107. Automated Deduction - CADE-23 :
پدیدآورنده : edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
108. Automated Deduction -- Cade-13 :
پدیدآورنده : edited by M.A. McRobbie, J.K. Slaney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
109. Automated Mathematical Induction
پدیدآورنده : edited by Hantao Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic.
رده :
QA76
.
9
.
A96
E358
1996
110. Automated Reasoning
پدیدآورنده : / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving--Congresses,Computer logic--Congresses
111. Automated reasoning
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving ; Congresses. ; Computer logic ; Congresses. ;
112. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
پدیدآورنده : Rajeev Gore, Alexander Leitsch, Tobias Nipkow )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2083
113. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
پدیدآورنده : David Basin, Michael Rusinowitch )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3097
114. Automated reasoning : third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
پدیدآورنده : Ulrich Furbach, Natarajan Shankar )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
4130
115. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
116. Axiomatising the Logic of Computer Programming
پدیدآورنده : by Robert Goldblatt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science,Computer science.,Logic design.
117. Baltic Computer Science :
پدیدآورنده : by Janis Barzdins, Dines Bjorner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
118. Based Methods-Rigorous State
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematical logic. ; Artificial intelligence. ; Computer organization. ; Software engineering. ; Microprogramming?. ; Mathematical Logic and Formal Languages. ;
119. Belief revision in non-classical logics
پدیدآورنده : Márcio Moretto Ribeiro
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Belief change,Computer logic
رده :
QA76
.
9
.
L63
R53
2013
